identity type
#Fleeting_Notes
identity type(等式型(MLTT)、同一視型(HoTT))
確認用
Q. identity type
調査用
Google.icon
identity type(日)
Google.icon
等式型(英)
Wikipedia.icon
identity type - Wikipedia(日)
identity type(検索) - Wikipedia(日)
Wikipedia.icon
等式型 - Wikipedia(英)
等式型(検索) - Wikipedia(英)